@Article{Liskov-Wing94,
  author =             "Barbara H. Liskov and Jeannette M. Wing",
  title =  "A Behavioral Notion of Subtyping",
  journal =            TOPLAS,
  year = 1994,
  volume =           16,
  number =          6,
  pages =              "1811-1841",
  month =             Nov,
  annote =            "37 references."
}

@inproceedings{pex,
  author = "Nikolai Tillmann and Jonathan de~Halleux",
  title = "Pex - White Box Test Generation for {{.NET}}",
  booktitle =    "Proc. of Tests and Proofs (TAP'08)",
  pages =        {134--153},
  publisher =    "Springer",
  series =       "LNCS",
  volume =       "4966",
    address = {Prato, Italy},
      month = {April},
       year = {2008}
}

@article{godefroid05:dart,
 author = {Patrice Godefroid and Nils Klarlund and Koushik Sen},
 title = {{DART}: directed automated random testing},
 journal = {SIGPLAN Notices},
 volume = {40},
 number = {6},
 year = {2005},
 issn = {0362-1340},
 pages = {213--223},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@Unpublished{nunit,
  author      = {{Michael C. Two, Charlie Poole, Jamie Cansdale, Gary Feldman,
  James W. Newkirk, Alexei A. Vorontsov and Philip A. Craig.}},
  title       = {{NUnit}},
  note        = {\url{http://www.nunit.org/}}
}

@Unpublished{mstest,
  author      = {{Microsoft}},
  title       = {{Visual} {Studio} {Team} {System},
{Team} {Edition} for {Testers}},
  note        = {\url{http://msdn2.microsoft.com/en-us/vsts2008/products/bb933754.aspx}}
}

